(check (= (* 2 (- 4)) (- 8)))
